A(z) „Elsőrendű nyelv” lapra hivatkozó lapok
Megjelenés
32 elem listázva.
- Természetes számok (← erre mutató hivatkozások | szerkesztés)
- SQL (← erre mutató hivatkozások | szerkesztés)
- Matematikai logika (← erre mutató hivatkozások | szerkesztés)
- Fogalomírás (← erre mutató hivatkozások | szerkesztés)
- Leon Henkin (← erre mutató hivatkozások | szerkesztés)
- Igazhalmaz (← erre mutató hivatkozások | szerkesztés)
- Univerzális kvantifikáció (← erre mutató hivatkozások | szerkesztés)
- Frege-kalkulus (← erre mutató hivatkozások | szerkesztés)
- Skolem-normálforma (← erre mutató hivatkozások | szerkesztés)
- Elsőrendű logika (← erre mutató hivatkozások | szerkesztés)
- Alapkifejezés (← erre mutató hivatkozások | szerkesztés)
- Logikai grammatika (← erre mutató hivatkozások | szerkesztés)
- Axiomatikus halmazelmélet (← erre mutató hivatkozások | szerkesztés)
- Gödel első nemteljességi tétele (← erre mutató hivatkozások | szerkesztés)
- Formális nyelv (← erre mutató hivatkozások | szerkesztés)
- Típus (modellelmélet) (← erre mutató hivatkozások | szerkesztés)
- Modellelmélet (← erre mutató hivatkozások | szerkesztés)
- Üres szorzat (← erre mutató hivatkozások | szerkesztés)
- De Bruijn–Erdős-tétel (gráfelmélet) (← erre mutató hivatkozások | szerkesztés)
- Könyvbe ágyazás (← erre mutató hivatkozások | szerkesztés)
- Információs technológia (← erre mutató hivatkozások | szerkesztés)
- ML (programozási nyelv) (← erre mutató hivatkozások | szerkesztés)
- Szekvenskalkulus (← erre mutató hivatkozások | szerkesztés)
- Logikai kielégítési probléma (← erre mutató hivatkozások | szerkesztés)
- Kielégíthetőségi modulo elméletek (← erre mutató hivatkozások | szerkesztés)
- DPLL algoritmus (← erre mutató hivatkozások | szerkesztés)
- Ontológiatervezés (← erre mutató hivatkozások | szerkesztés)
- Szerkesztő:Gubbubu/Infók (← erre mutató hivatkozások | szerkesztés)
- Szerkesztő:BinBot/trymikor (← erre mutató hivatkozások | szerkesztés)
- Szerkesztő:Bbr98/Hilbert rendszere (← erre mutató hivatkozások | szerkesztés)
- Szerkesztő:LegTomi/Adatbázis normalizálás (← erre mutató hivatkozások | szerkesztés)
- Wikipédia:Cikkértékelési műhely/Matematikai szócikkek/2 (← erre mutató hivatkozások | szerkesztés)